1. Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings
پدیدآورنده : Chris George, Huaikou Miao )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2495